term universal algebra

项泛代数